Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
561	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2010-11-17 08:33:52
562	Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming Kish Shen and Joachim Schimpf IC-Parc, Imperial College London, London SW7 2AZ, United Kingdom {k.shen,j.schimpf}@icparc.ic.ac.uk Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2009-11-27 19:41:03
563	ECLiPSe : A Platform for Constraint Logic Programming Mark Wallace, Stefano Novello, Joachim Schimpf Contact address: IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2013-08-14 14:25:11
564	UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING Dale Miller Gopalan Nadathur Frank Pfenning Andre Scedrov Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:33:28
565	A Logic Programming Language for Multi-Agent Systems? Stefania Costantini Arianna Tocchio Add to Reading List Source URL: costantini.di.univaq.it Language: English - Date: 2009-11-30 06:18:11
566	Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2014-07-29 20:07:54
567	Exercise 5 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:10:03
568	The DALI Agent-Oriented Logic Programming Language: Summary and References 2015 Stefania Costantini Dept. of Information Science and Engineering, and Mathematics University of L’Aquila Via Vetoio snc, ICoppito, Add to Reading List Source URL: costantini.di.univaq.it Language: English - Date: 2015-01-24 09:54:45
569	Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr Paola Bruscoli, Peter Steinke, Amin Timany Practical 3 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:15:25
570	Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2010-04-09 11:45:20

UPDATE